Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
71	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
72	Cryptography with Asynchronous Logic Automata Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, and Neil Gershenfeld MIT Center for Bits and Atoms, Cambridge, MA Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-17 09:30:36 Binary arithmetic Linear feedback shift register A5/1 Cellular automaton Field-programmable gate array Digital electronics Block cipher XOR gate Cryptography Electronic engineering Stream ciphers
73	APPLICATION NOTES Switch Definitions and Terms 1. BCD: BCD stands for Binary-Coded-Decimal. This is a four-bit system used to represent the ten (10) decimal digits 0-9. As with Logic Drivers, this is a solid state inte Add to Reading List Source URL: www.ducommun.com Language: English - Date: 2014-02-19 01:13:00 Switches Automation Human–machine interaction Relay Diode Railroad switch Inverter Network switch Logic gate Electrical engineering Electromagnetism Technology
74	Incremental Mining of Frequent Query Patterns from XML Queries for Caching Guoliang Li, Jianhua Feng, Jianyong Wang, Yong Zhang, Lizhu Zhou Department of Computer Science and Technology, Tsinghua University, Beijing 1000 Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2012-01-09 09:42:51 Data mining Binary trees Markup languages Technical communication Tree traversal Prüfer sequence Structure mining Sequence mining R-tree Computing Graph theory Logic
75	AND/OR Multivalued Decision Diagrams (AOMDD) for Probabilistic and Constraints knowledge-bases. Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 17:19:40 Bayesian statistics Graph theory Graphical models Bayesian network Networks Influence diagram Logic programming Binary decision diagram Statistics Statistical models Diagrams
76	Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:35:06 Logical truth Binary operations Boolean algebra Tautology Logical connective If and only if Entailment Well-formed formula Truth table Logic Propositional calculus Philosophical logic
77	Schedule February 22, 2011 This schedule is subject to revision. Check the course website (http://johnmacfarlane.netfor current reading and writing assignments. Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-22 14:55:51 Non-classical logic Propositional calculus Binary operations Conditionals Many-valued logic Relevance logic Entailment Material conditional Indicative conditional Logic Mathematical logic Philosophical logic
78	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:02 Binary tree Bit Computing Information Linguistics Computer arithmetic Binary arithmetic Ternary numeral system
79	Diss. ETH NoBinary Adder Architectures for Cell-Based VLSI and their Synthesis A dissertation submitted to the Add to Reading List Source URL: www.iis.ee.ethz.ch Language: English - Date: 2006-03-07 18:18:41 Computer architecture Computer arithmetic Binary arithmetic Binary logic Digital circuits Carry-select adder Carry-save adder Carry-lookahead adder Field-programmable gate array Adders Electronic engineering Arithmetic
80	Diss. ETH NoBinary Adder Architectures for Cell-Based VLSI and their Synthesis A dissertation submitted to the Add to Reading List Source URL: www.iis.ee.ethz.ch Language: English - Date: 2006-03-07 18:19:07 Computer architecture Computer arithmetic Binary arithmetic Binary logic Digital circuits Carry-select adder Carry-save adder Carry-lookahead adder Field-programmable gate array Adders Electronic engineering Arithmetic

UPDATE